- предикативная формула
- predicate formula
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
предикативная формула
Look at other dictionaries:
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, осмысленность к рого предполагает наличие определяемого объекта. Образование множества всех множеств непредикативно. Определение наименьшей верхней грани произвольного множества действительных чисел также непредикативно. Любое Н. о.… … Математическая энциклопедия
Тетрация — (гипероператор 4) в математике итерационная функция экспоненты, следующий гипероператор после возведения в степень. Тетрация используется для описания больших чисел. Термин «тетрация», состоящий из слов «тетра » (четыре) и «итерация»… … Википедия
ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать … Современный философский словарь
